Program Committee

Nianyin Zeng is currently a Professor with the Department of Instrumental and Electrical Engineering of Xiamen University. He received the B.Eng. degree in electrical engineering and automation in 2008 and the Ph.D. degree in electrical engineering in 2013, both from Fuzhou University. From October 2012 to March 2013, he was a RA in the Department of Electrical and Electronic Engineering, the University of Hong Kong. From September 2017 to August 2018, he was an ISEF Fellow founded by the Korea Foundation for Advance Studies and also a Visiting Professor at the Korea Advanced Institute of Science and Technology (KAIST). His current research interests include intelligent data analysis, machine learning and computer vision, computational intelligent, system modeling and applications. He has published more than 80 research papers in referred journal and conferences as well as 13 patents. By Google Scholar, his publications have been cited by more than 7,000 times with H-Index 34. Dr. Zeng is currently serving or has served as an Associate Editor for Neurocomputing Frontiers in Medical Technology, and Evolutionary Intelligence, an Editorial Board member for Computers in Biology and Medicine, Biomedical Engineering Online, Mathematical Problems in Engineering, Journal of Electronics & Information Technology, and Journal of Image and Graphics, and also Guest Editors for Frontiers in Neuroscience and Frontiers in Medical Technology. He has also served as program committee members for a number of premier international conferences related to intelligent data analysis, including EAI ICMTEL, ACAIT, ICCSE, etc. Dr. Zeng has received a number of prestigious awards, including High-Level Talent of Fujian Province, Key-Talent of Xiamen City, Nanqiang Young-Top-Talent of Xiamen University, three Provincial Natural Science Awards, Invention and Entrepreneurship Achievement Award by the China Invention Association, and Distinguished Reviewers of Computers in Biology and Medicine, Neurocomputing, and Chinese Journal of Scientific Instrument.

My main research outcomes have been in the following areas. (1) Quantum models of computation. (2) Quantum query algorithms. (3) Quantum cryptograpy and quantum communication. (4) Quantum states distinguishablility and quantum states cloning. (5) Theory of computation based on quantum and lattice-valued logic. (5) The applications of fuzzy and probabilistic automata to discrete event systems, focusing on diagnosability and supervisory control. We have published over 130 papers in peer-review journals, and over 25 conferences papers. More specifically, (1) we have systematically studied a number of different QFA (quantum finite automata) models, and solved the decidability of equivalence and minimization of these QFA models (D. Qiu, L. Li, X. Zou, P. Mateus, J. Gruska, Acta Informatica, 2011, 48 (5-6): 271-290; P. Mateus, D. Qiu, L. Li, Information and Computation, 2012, 218: 36-53;L. Li, D. Qiu, Theoretical Computer Science, 2008, 403(1): 42-51).  Therefore, we have answered the problems of how to decide the equivalence of quantum sequential machines proposed by Professor Gudder, and how to decide the equivalence of MM-1QFA proposed by Professor Gruska. In particular, we have answered the problems of how to minimize QFAs proposed by Moore and Crutchfield. We proposed a model of quantum-classical finite automata, named as one-way quantum finite automata together with classical states (D. Qiu, L. Li, P. Mateus, A. Sernadas, Journal of Computer and System Sciences, 2015, 81(2): 359-375). Also, we have studied some properties of 2QFAC, quantum pushdown automata, and quantum Turing machines. (2) We have proved the characterization of all Boolean functions that can be solved by quantum 1-query algorithm. (3) We have studied quantum states discrimination and quantum cloning machines, and we have derived some bounds on unambiguous discrimination and minimum-error discrimination (some bounds are optimal to a certain extent), and some relationships between unambiguous discrimination and minimum-error discrimination have been clarified. Also, we have established a generic machine model of probabilistic cloning and deleting, and proposed a universal probabilistic deleting machine. (4) We have studied quantum teleportation and superdence coding based on different entangled states (W-states). (5) We have studied semi-quantum cryptography and proved that a semi-quantum key distribution protocol is unconditional security. (6) We have discovered some essential connections between quantum logic and models of computation, and we have established residuated lattice-valued automata theory (D.  Qiu, Information and Computation, 2004, 190(2): 179-195). (6) We have established a fundamental framework of the supervisory control for fuzzy discrete event systems (FDES) and developed the supervisory control of probabilistic discrete event systems (PDES), using fuzzy automta and probabilistic automata, respectively.